2

On Bourbaki’s axiomatic system for set theory

Year:
2014
Language:
english
File:
PDF, 374 KB
english, 2014
5

Strongly prime Jordan pairs with nonzero socle

Year:
2003
Language:
english
File:
PDF, 216 KB
english, 2003
9

Implementing Nominal Unification

Year:
2007
Language:
english
File:
PDF, 266 KB
english, 2007
12

Gödel’s system revisited

Year:
2010
Language:
english
File:
PDF, 970 KB
english, 2010
18

Strongly prime Jordan pairs with nonzero socle

Year:
2003
Language:
english
File:
PDF, 216 KB
english, 2003
19

[Undergraduate Topics in Computer Science] Programming Languages and Operational Semantics ||

Year:
2014
Language:
english
File:
PDF, 2.61 MB
english, 2014
21

The Cavitated Accessory Uterine Mass

Year:
2010
Language:
english
File:
PDF, 1.20 MB
english, 2010
30

AC Complement Problems: Satisfiability and Negation Elimination

Year:
1996
Language:
english
File:
PDF, 980 KB
english, 1996
31

Preface

Year:
2006
Language:
english
File:
PDF, 60 KB
english, 2006
32

New Developments in Environment Machines

Year:
2009
Language:
english
File:
PDF, 325 KB
english, 2009
33

Preface

Year:
2005
Language:
english
File:
PDF, 68 KB
english, 2005
34

The Power of Closed Reduction Strategies

Year:
2007
Language:
english
File:
PDF, 353 KB
english, 2007
39

Normalization, approximation, and semantics for combinator systems

Year:
2003
Language:
english
File:
PDF, 400 KB
english, 2003
40

Operational equivalence for interaction nets

Year:
2003
Language:
english
File:
PDF, 255 KB
english, 2003
41

Intersection type assignment systems with higher-order algebraic rewriting

Year:
1996
Language:
english
File:
PDF, 2.41 MB
english, 1996
42

Interaction nets and term-rewriting systems

Year:
1998
Language:
english
File:
PDF, 2.39 MB
english, 1998
43

Interaction Nets with McCarthy's amb

Year:
2002
Language:
english
File:
PDF, 231 KB
english, 2002